Faust eller Kierkegaard?

Kierkegaard , Socrates and Existential Individuality

The 19 century Danish philosopher Søren Kierkegaard was a profoundly religious thinker. He is also regarded as the father of Existentialism, one of the most important philosophical movements of the 20 century. The term ‘existentialist’ is applied to those philosophers, like Jean-Paul Sartre and Albert Camus, who held that the foundation of all philosophical thought is to be found in the actual,...

The FAUST - Prover

Unfortunately first-order logic has certain limitations which are felt in many applications such as in hardware verification. The use of proof assistants like the HOL sys tem ([Gord88]) is therefore resorted to. However many theorems of higher order logic can also be proven by methods of first order logic as well. Being aware of this situation, we have implemented a prover based on Sequent Calc...

Interfacing Pure Data with Faust

This paper reports on a new plugin interface for Grame’s functional DSP programming language Faust. The interface allows Faust programs to be run as externals in Miller Puckette’s Pd (Pure Data), making it possible to extend Pd with new audio objects programmed in Faust. The software also includes a script to create wrapper patches around Faust units which feature “graph-on-parent” GUI elements...

Making Sense of Nonsense: Kierkegaard and Wittgenstein

The aim of this paper is to make sense of cases of apparent nonsense in the writings of Kierkegaard and Wittgenstein. Against commentators such as Cora Diamond and James Conant, we argue that, in the case of Wittgenstein, recognising such a category of nonsense is necessary in order to understand the development of his thought. In the case of Kierkegaard, we argue against the view that the noti...

Faust Music Online (review)